English translation for "herbrand base"
|
- 海尔勃朗基
Related Translations:
- Example Sentences:
| 1. | A member of the herbrand base is called atom in automatic theorem proving 在自动定理证明中,海尔勃朗基的成员也称为原子。 |
- Similar Words:
- "herboth" English translation, "herbout" English translation, "herbouze" English translation, "herbovelay" English translation, "herbrand" English translation, "herbrand interpretation" English translation, "herbrand theorem" English translation, "herbrand tools corp" English translation, "herbrand universe" English translation, "herbrand-ribet" English translation
|
|
|